include ../Makefile.def
EXTRA_DIST = \
 runtest \
 expected
check_PROGRAMS = bddsatcountbug
bddsatcountbug_SOURCES = bddsatcountbug.c
